Free variables and bound variables - PDFSEARCH.IO - Document Search Engine

Free variables and bound variables
Results: 147

#	Item
91	An Illative Lambda-Calculus Roger Bishop Jones Abstract This is an approach to illative lambda-calculi via construction of an infinitary calculus in a well-founded set theory. Add to Reading List Source URL: www.rbjones.com Language: English - Date: 2012-09-28 15:44:05 Lambda calculus Combinatory logic Logic in computer science Infinitary logic Model theory Free variables and bound variables Finitary Fixed-point combinator Simply typed lambda calculus Mathematical logic Theoretical computer science Logic
92	Philosophy and Phenomenological Research Philosophy and Phenomenological Research Vol. LXXXI No. 2, September 2010 2010 Philosophy and Phenomenological Research, LLC Add to Reading List Source URL: www.jimpryor.net Language: English - Date: 2012-12-08 09:29:54 Propositional calculus Predicate logic Philosophy of language Semantics Proposition Expression Free variables and bound variables Predicate Function Logic Mathematics Mathematical logic
93	Term Indexing for the LEO-II Prover Frank Theiß1 Christoph Benzm¨ uller2 1 FR Informatik, Universit¨at des Saarlandes, Saarbr¨ Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:12:16 Science Searching Mathematical notation Predicate logic Theoretical computer science Free variables and bound variables De Bruijn index De Bruijn notation Variable Mathematics Lambda calculus Information science
94	Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2002-03-29 07:37:15 Data types Subroutines Lambda calculus Functional programming Primitive types Closure Evaluation strategy Free variables and bound variables Function Software engineering Computing Computer programming
95	WORKSHOP PECULIAR BINDING CONFIGURATIONS – UNIVERSITÄT STUTTGART program as of September 11th, 2010 Friday, Add to Reading List Source URL: www.ilg.uni-stuttgart.de Language: English - Date: 2010-09-15 08:54:03 English languages Grammar Modern English personal pronouns Crossover effects Free variables and bound variables Gender-neutral pronoun Shifting Reflexive pronoun Pronoun Linguistics Syntax English grammar
96	Hybrid Verification by Exploiting the Environment* Limor Fix and Fred B. Schneider Department of Computer Science, CorneU University, Ithaca, New York[removed]A b s t r a c t . A method for verifying hybrid systems is g Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-13 00:16:30** Procedural programming languages Algebra Logical syntax Variables Parallel computing FO Static single assignment form Free variables and bound variables Environment variable Mathematics Computing Software engineering
97	Introduction to Lambda Calculus Henk Barendregt Erik Barendsen Revised edition Add to Reading List Source URL: ftp.cs.ru.nl Language: English - Date: 2008-07-15 17:50:58 Formal methods Models of computation Elementary mathematics Combinatory logic Free variables and bound variables Function Variable De Bruijn index Spectral theory of ordinary differential equations Mathematics Lambda calculus Computability theory
98	A Concrete Presentation of Game Semantics W. Blum∗ C.-H. L. Ong† Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-01-14 04:37:24 Models of computation Logic in computer science Lambda calculus Tree traversal Combinatory logic Free variables and bound variables Computation tree Theoretical computer science Mathematics Applied mathematics
99	Philos Stud[removed]:407–441 DOI[removed]s11098[removed]Recurrence Nathan Salmon Add to Reading List Source URL: www.jimpryor.net Language: English - Date: 2012-12-08 09:30:00 Predicate logic Analytic philosophers Metaphysicians Mathematical logic Saul Kripke Nathan Salmon Free variables and bound variables Mereology Equivalence relation Logic Mathematics Philosophy
100	Call-by-name linguistic side effects Oleg Kiselyov FNMOC [removed] Abstract Add to Reading List Source URL: okmij.org Language: English - Date: 2008-08-18 21:58:00 Mathematical logic Free variables and bound variables System F Combinatory logic Fixed-point combinator Theoretical computer science Lambda calculus Mathematics